Annotated Source Files (P):
pipelined_insersort.adb